.manni .hll { background-color: #ffffcc }
.manni  { background: #f0f3f3; }
.manni .c { color: #0099FF; font-style: italic } 
.manni .err { color: #AA0000; background-color: #FFAAAA } 
.manni .k { color: #006699; font-weight: bold } 
.manni .o { color: #555555 } 
.manni .cm { color: #0099FF; font-style: italic } 
.manni .cp { color: #009999 } 
.manni .c1 { color: #0099FF; font-style: italic } 
.manni .cs { color: #0099FF; font-weight: bold; font-style: italic } 
.manni .gd { background-color: #FFCCCC; border: 1px solid #CC0000 } 
.manni .ge { font-style: italic } 
.manni .gr { color: #FF0000 } 
.manni .gh { color: #003300; font-weight: bold } 
.manni .gi { background-color: #CCFFCC; border: 1px solid #00CC00 } 
.manni .go { color: #AAAAAA } 
.manni .gp { color: #000099; font-weight: bold } 
.manni .gs { font-weight: bold } 
.manni .gu { color: #003300; font-weight: bold } 
.manni .gt { color: #99CC66 } 
.manni .kc { color: #006699; font-weight: bold } 
.manni .kd { color: #006699; font-weight: bold } 
.manni .kn { color: #006699; font-weight: bold } 
.manni .kp { color: #006699 } 
.manni .kr { color: #006699; font-weight: bold } 
.manni .kt { color: #007788; font-weight: bold } 
.manni .m { color: #FF6600 } 
.manni .s { color: #CC3300 } 
.manni .na { color: #330099 } 
.manni .nb { color: #336666 } 
.manni .nc { color: #00AA88; font-weight: bold } 
.manni .no { color: #336600 } 
.manni .nd { color: #9999FF } 
.manni .ni { color: #999999; font-weight: bold } 
.manni .ne { color: #CC0000; font-weight: bold } 
.manni .nf { color: #CC00FF } 
.manni .nl { color: #9999FF } 
.manni .nn { color: #00CCFF; font-weight: bold } 
.manni .nt { color: #330099; font-weight: bold } 
.manni .nv { color: #003333 } 
.manni .ow { color: #000000; font-weight: bold } 
.manni .w { color: #bbbbbb } 
.manni .mf { color: #FF6600 } 
.manni .mh { color: #FF6600 } 
.manni .mi { color: #FF6600 } 
.manni .mo { color: #FF6600 } 
.manni .sb { color: #CC3300 } 
.manni .sc { color: #CC3300 } 
.manni .sd { color: #CC3300; font-style: italic } 
.manni .s2 { color: #CC3300 } 
.manni .se { color: #CC3300; font-weight: bold } 
.manni .sh { color: #CC3300 } 
.manni .si { color: #AA0000 } 
.manni .sx { color: #CC3300 } 
.manni .sr { color: #33AAAA } 
.manni .s1 { color: #CC3300 } 
.manni .ss { color: #FFCC33 } 
.manni .bp { color: #336666 } 
.manni .vc { color: #003333 } 
.manni .vg { color: #003333 } 
.manni .vi { color: #003333 } 
.manni .il { color: #FF6600 } 


.perldoc .hll { background-color: #ffffcc }
.perldoc  { background: #eeeedd; }
.perldoc .c { color: #228B22 } 
.perldoc .err { color: #a61717; background-color: #e3d2d2 } 
.perldoc .k { color: #8B008B; font-weight: bold } 
.perldoc .cm { color: #228B22 } 
.perldoc .cp { color: #1e889b } 
.perldoc .c1 { color: #228B22 } 
.perldoc .cs { color: #8B008B; font-weight: bold } 
.perldoc .gd { color: #aa0000 } 
.perldoc .ge { font-style: italic } 
.perldoc .gr { color: #aa0000 } 
.perldoc .gh { color: #000080; font-weight: bold } 
.perldoc .gi { color: #00aa00 } 
.perldoc .go { color: #888888 } 
.perldoc .gp { color: #555555 } 
.perldoc .gs { font-weight: bold } 
.perldoc .gu { color: #800080; font-weight: bold } 
.perldoc .gt { color: #aa0000 } 
.perldoc .kc { color: #8B008B; font-weight: bold } 
.perldoc .kd { color: #8B008B; font-weight: bold } 
.perldoc .kn { color: #8B008B; font-weight: bold } 
.perldoc .kp { color: #8B008B; font-weight: bold } 
.perldoc .kr { color: #8B008B; font-weight: bold } 
.perldoc .kt { color: #a7a7a7; font-weight: bold } 
.perldoc .m { color: #B452CD } 
.perldoc .s { color: #CD5555 } 
.perldoc .na { color: #658b00 } 
.perldoc .nb { color: #658b00 } 
.perldoc .nc { color: #008b45; font-weight: bold } 
.perldoc .no { color: #00688B } 
.perldoc .nd { color: #707a7c } 
.perldoc .ne { color: #008b45; font-weight: bold } 
.perldoc .nf { color: #008b45 } 
.perldoc .nn { color: #008b45; text-decoration: underline } 
.perldoc .nt { color: #8B008B; font-weight: bold } 
.perldoc .nv { color: #00688B } 
.perldoc .ow { color: #8B008B } 
.perldoc .w { color: #bbbbbb } 
.perldoc .mf { color: #B452CD } 
.perldoc .mh { color: #B452CD } 
.perldoc .mi { color: #B452CD } 
.perldoc .mo { color: #B452CD } 
.perldoc .sb { color: #CD5555 } 
.perldoc .sc { color: #CD5555 } 
.perldoc .sd { color: #CD5555 } 
.perldoc .s2 { color: #CD5555 } 
.perldoc .se { color: #CD5555 } 
.perldoc .sh { color: #1c7e71; font-style: italic } 
.perldoc .si { color: #CD5555 } 
.perldoc .sx { color: #cb6c20 } 
.perldoc .sr { color: #1c7e71 } 
.perldoc .s1 { color: #CD5555 } 
.perldoc .ss { color: #CD5555 } 
.perldoc .bp { color: #658b00 } 
.perldoc .vc { color: #00688B } 
.perldoc .vg { color: #00688B } 
.perldoc .vi { color: #00688B } 
.perldoc .il { color: #B452CD } 


.borland .hll { background-color: #ffffcc }
.borland  { background: #ffffff; }
.borland .c { color: #008800; font-style: italic } 
.borland .err { color: #a61717; background-color: #e3d2d2 } 
.borland .k { color: #000080; font-weight: bold } 
.borland .cm { color: #008800; font-style: italic } 
.borland .cp { color: #008080 } 
.borland .c1 { color: #008800; font-style: italic } 
.borland .cs { color: #008800; font-weight: bold } 
.borland .gd { color: #000000; background-color: #ffdddd } 
.borland .ge { font-style: italic } 
.borland .gr { color: #aa0000 } 
.borland .gh { color: #999999 } 
.borland .gi { color: #000000; background-color: #ddffdd } 
.borland .go { color: #888888 } 
.borland .gp { color: #555555 } 
.borland .gs { font-weight: bold } 
.borland .gu { color: #aaaaaa } 
.borland .gt { color: #aa0000 } 
.borland .kc { color: #000080; font-weight: bold } 
.borland .kd { color: #000080; font-weight: bold } 
.borland .kn { color: #000080; font-weight: bold } 
.borland .kp { color: #000080; font-weight: bold } 
.borland .kr { color: #000080; font-weight: bold } 
.borland .kt { color: #000080; font-weight: bold } 
.borland .m { color: #0000FF } 
.borland .s { color: #0000FF } 
.borland .na { color: #FF0000 } 
.borland .nt { color: #000080; font-weight: bold } 
.borland .ow { font-weight: bold } 
.borland .w { color: #bbbbbb } 
.borland .mf { color: #0000FF } 
.borland .mh { color: #0000FF } 
.borland .mi { color: #0000FF } 
.borland .mo { color: #0000FF } 
.borland .sb { color: #0000FF } 
.borland .sc { color: #800080 } 
.borland .sd { color: #0000FF } 
.borland .s2 { color: #0000FF } 
.borland .se { color: #0000FF } 
.borland .sh { color: #0000FF } 
.borland .si { color: #0000FF } 
.borland .sx { color: #0000FF } 
.borland .sr { color: #0000FF } 
.borland .s1 { color: #0000FF } 
.borland .ss { color: #0000FF } 
.borland .il { color: #0000FF } 


.colorful .hll { background-color: #ffffcc }
.colorful  { background: #ffffff; }
.colorful .c { color: #808080 } 
.colorful .err { color: #F00000; background-color: #F0A0A0 } 
.colorful .k { color: #008000; font-weight: bold } 
.colorful .o { color: #303030 } 
.colorful .cm { color: #808080 } 
.colorful .cp { color: #507090 } 
.colorful .c1 { color: #808080 } 
.colorful .cs { color: #cc0000; font-weight: bold } 
.colorful .gd { color: #A00000 } 
.colorful .ge { font-style: italic } 
.colorful .gr { color: #FF0000 } 
.colorful .gh { color: #000080; font-weight: bold } 
.colorful .gi { color: #00A000 } 
.colorful .go { color: #808080 } 
.colorful .gp { color: #c65d09; font-weight: bold } 
.colorful .gs { font-weight: bold } 
.colorful .gu { color: #800080; font-weight: bold } 
.colorful .gt { color: #0040D0 } 
.colorful .kc { color: #008000; font-weight: bold } 
.colorful .kd { color: #008000; font-weight: bold } 
.colorful .kn { color: #008000; font-weight: bold } 
.colorful .kp { color: #003080; font-weight: bold } 
.colorful .kr { color: #008000; font-weight: bold } 
.colorful .kt { color: #303090; font-weight: bold } 
.colorful .m { color: #6000E0; font-weight: bold } 
.colorful .s { background-color: #fff0f0 } 
.colorful .na { color: #0000C0 } 
.colorful .nb { color: #007020 } 
.colorful .nc { color: #B00060; font-weight: bold } 
.colorful .no { color: #003060; font-weight: bold } 
.colorful .nd { color: #505050; font-weight: bold } 
.colorful .ni { color: #800000; font-weight: bold } 
.colorful .ne { color: #F00000; font-weight: bold } 
.colorful .nf { color: #0060B0; font-weight: bold } 
.colorful .nl { color: #907000; font-weight: bold } 
.colorful .nn { color: #0e84b5; font-weight: bold } 
.colorful .nt { color: #007000 } 
.colorful .nv { color: #906030 } 
.colorful .ow { color: #000000; font-weight: bold } 
.colorful .w { color: #bbbbbb } 
.colorful .mf { color: #6000E0; font-weight: bold } 
.colorful .mh { color: #005080; font-weight: bold } 
.colorful .mi { color: #0000D0; font-weight: bold } 
.colorful .mo { color: #4000E0; font-weight: bold } 
.colorful .sb { background-color: #fff0f0 } 
.colorful .sc { color: #0040D0 } 
.colorful .sd { color: #D04020 } 
.colorful .s2 { background-color: #fff0f0 } 
.colorful .se { color: #606060; font-weight: bold; background-color: #fff0f0 } 
.colorful .sh { background-color: #fff0f0 } 
.colorful .si { background-color: #e0e0e0 } 
.colorful .sx { color: #D02000; background-color: #fff0f0 } 
.colorful .sr { color: #000000; background-color: #fff0ff } 
.colorful .s1 { background-color: #fff0f0 } 
.colorful .ss { color: #A06000 } 
.colorful .bp { color: #007020 } 
.colorful .vc { color: #306090 } 
.colorful .vg { color: #d07000; font-weight: bold } 
.colorful .vi { color: #3030B0 } 
.colorful .il { color: #0000D0; font-weight: bold } 


.default .hll { background-color: #ffffcc }
.default  { background: #f8f8f8; }
.default .c { color: #408080; font-style: italic } 
.default .err { border: 1px solid #FF0000 } 
.default .k { color: #008000; font-weight: bold } 
.default .o { color: #666666 } 
.default .cm { color: #408080; font-style: italic } 
.default .cp { color: #BC7A00 } 
.default .c1 { color: #408080; font-style: italic } 
.default .cs { color: #408080; font-style: italic } 
.default .gd { color: #A00000 } 
.default .ge { font-style: italic } 
.default .gr { color: #FF0000 } 
.default .gh { color: #000080; font-weight: bold } 
.default .gi { color: #00A000 } 
.default .go { color: #808080 } 
.default .gp { color: #000080; font-weight: bold } 
.default .gs { font-weight: bold } 
.default .gu { color: #800080; font-weight: bold } 
.default .gt { color: #0040D0 } 
.default .kc { color: #008000; font-weight: bold } 
.default .kd { color: #008000; font-weight: bold } 
.default .kn { color: #008000; font-weight: bold } 
.default .kp { color: #008000 } 
.default .kr { color: #008000; font-weight: bold } 
.default .kt { color: #B00040 } 
.default .m { color: #666666 } 
.default .s { color: #BA2121 } 
.default .na { color: #7D9029 } 
.default .nb { color: #008000 } 
.default .nc { color: #0000FF; font-weight: bold } 
.default .no { color: #880000 } 
.default .nd { color: #AA22FF } 
.default .ni { color: #999999; font-weight: bold } 
.default .ne { color: #D2413A; font-weight: bold } 
.default .nf { color: #0000FF } 
.default .nl { color: #A0A000 } 
.default .nn { color: #0000FF; font-weight: bold } 
.default .nt { color: #008000; font-weight: bold } 
.default .nv { color: #19177C } 
.default .ow { color: #AA22FF; font-weight: bold } 
.default .w { color: #bbbbbb } 
.default .mf { color: #666666 } 
.default .mh { color: #666666 } 
.default .mi { color: #666666 } 
.default .mo { color: #666666 } 
.default .sb { color: #BA2121 } 
.default .sc { color: #BA2121 } 
.default .sd { color: #BA2121; font-style: italic } 
.default .s2 { color: #BA2121 } 
.default .se { color: #BB6622; font-weight: bold } 
.default .sh { color: #BA2121 } 
.default .si { color: #BB6688; font-weight: bold } 
.default .sx { color: #008000 } 
.default .sr { color: #BB6688 } 
.default .s1 { color: #BA2121 } 
.default .ss { color: #19177C } 
.default .bp { color: #008000 } 
.default .vc { color: #19177C } 
.default .vg { color: #19177C } 
.default .vi { color: #19177C } 
.default .il { color: #666666 } 


.murphy .hll { background-color: #ffffcc }
.murphy  { background: #ffffff; }
.murphy .c { color: #606060; font-style: italic } 
.murphy .err { color: #F00000; background-color: #F0A0A0 } 
.murphy .k { color: #208090; font-weight: bold } 
.murphy .o { color: #303030 } 
.murphy .cm { color: #606060; font-style: italic } 
.murphy .cp { color: #507090 } 
.murphy .c1 { color: #606060; font-style: italic } 
.murphy .cs { color: #c00000; font-weight: bold; font-style: italic } 
.murphy .gd { color: #A00000 } 
.murphy .ge { font-style: italic } 
.murphy .gr { color: #FF0000 } 
.murphy .gh { color: #000080; font-weight: bold } 
.murphy .gi { color: #00A000 } 
.murphy .go { color: #808080 } 
.murphy .gp { color: #c65d09; font-weight: bold } 
.murphy .gs { font-weight: bold } 
.murphy .gu { color: #800080; font-weight: bold } 
.murphy .gt { color: #0040D0 } 
.murphy .kc { color: #208090; font-weight: bold } 
.murphy .kd { color: #208090; font-weight: bold } 
.murphy .kn { color: #208090; font-weight: bold } 
.murphy .kp { color: #0080f0; font-weight: bold } 
.murphy .kr { color: #208090; font-weight: bold } 
.murphy .kt { color: #6060f0; font-weight: bold } 
.murphy .m { color: #6000E0; font-weight: bold } 
.murphy .s { background-color: #e0e0ff } 
.murphy .na { color: #000070 } 
.murphy .nb { color: #007020 } 
.murphy .nc { color: #e090e0; font-weight: bold } 
.murphy .no { color: #50e0d0; font-weight: bold } 
.murphy .nd { color: #505050; font-weight: bold } 
.murphy .ni { color: #800000 } 
.murphy .ne { color: #F00000; font-weight: bold } 
.murphy .nf { color: #50e0d0; font-weight: bold } 
.murphy .nl { color: #907000; font-weight: bold } 
.murphy .nn { color: #0e84b5; font-weight: bold } 
.murphy .nt { color: #007000 } 
.murphy .nv { color: #003060 } 
.murphy .ow { color: #000000; font-weight: bold } 
.murphy .w { color: #bbbbbb } 
.murphy .mf { color: #6000E0; font-weight: bold } 
.murphy .mh { color: #005080; font-weight: bold } 
.murphy .mi { color: #6060f0; font-weight: bold } 
.murphy .mo { color: #4000E0; font-weight: bold } 
.murphy .sb { background-color: #e0e0ff } 
.murphy .sc { color: #8080F0 } 
.murphy .sd { color: #D04020 } 
.murphy .s2 { background-color: #e0e0ff } 
.murphy .se { color: #606060; font-weight: bold; background-color: #e0e0ff } 
.murphy .sh { background-color: #e0e0ff } 
.murphy .si { background-color: #e0e0e0 } 
.murphy .sx { color: #f08080; background-color: #e0e0ff } 
.murphy .sr { color: #000000; background-color: #e0e0ff } 
.murphy .s1 { background-color: #e0e0ff } 
.murphy .ss { color: #f0c080 } 
.murphy .bp { color: #007020 } 
.murphy .vc { color: #c0c0f0 } 
.murphy .vg { color: #f08040 } 
.murphy .vi { color: #a0a0f0 } 
.murphy .il { color: #6060f0; font-weight: bold } 


.vs .hll { background-color: #ffffcc }
.vs  { background: #ffffff; }
.vs .c { color: #008000 } 
.vs .err { border: 1px solid #FF0000 } 
.vs .k { color: #0000ff } 
.vs .cm { color: #008000 } 
.vs .cp { color: #0000ff } 
.vs .c1 { color: #008000 } 
.vs .cs { color: #008000 } 
.vs .ge { font-style: italic } 
.vs .gh { font-weight: bold } 
.vs .gp { font-weight: bold } 
.vs .gs { font-weight: bold } 
.vs .gu { font-weight: bold } 
.vs .kc { color: #0000ff } 
.vs .kd { color: #0000ff } 
.vs .kn { color: #0000ff } 
.vs .kp { color: #0000ff } 
.vs .kr { color: #0000ff } 
.vs .kt { color: #2b91af } 
.vs .s { color: #a31515 } 
.vs .nc { color: #2b91af } 
.vs .ow { color: #0000ff } 
.vs .sb { color: #a31515 } 
.vs .sc { color: #a31515 } 
.vs .sd { color: #a31515 } 
.vs .s2 { color: #a31515 } 
.vs .se { color: #a31515 } 
.vs .sh { color: #a31515 } 
.vs .si { color: #a31515 } 
.vs .sx { color: #a31515 } 
.vs .sr { color: #a31515 } 
.vs .s1 { color: #a31515 } 
.vs .ss { color: #a31515 } 



.trac .hll { background-color: #ffffcc }
.trac  { background: #ffffff; }
.trac .c { color: #999988; font-style: italic } 
.trac .err { color: #a61717; background-color: #e3d2d2 } 
.trac .k { font-weight: bold } 
.trac .o { font-weight: bold } 
.trac .cm { color: #999988; font-style: italic } 
.trac .cp { color: #999999; font-weight: bold } 
.trac .c1 { color: #999988; font-style: italic } 
.trac .cs { color: #999999; font-weight: bold; font-style: italic } 
.trac .gd { color: #000000; background-color: #ffdddd } 
.trac .ge { font-style: italic } 
.trac .gr { color: #aa0000 } 
.trac .gh { color: #999999 } 
.trac .gi { color: #000000; background-color: #ddffdd } 
.trac .go { color: #888888 } 
.trac .gp { color: #555555 } 
.trac .gs { font-weight: bold } 
.trac .gu { color: #aaaaaa } 
.trac .gt { color: #aa0000 } 
.trac .kc { font-weight: bold } 
.trac .kd { font-weight: bold } 
.trac .kn { font-weight: bold } 
.trac .kp { font-weight: bold } 
.trac .kr { font-weight: bold } 
.trac .kt { color: #445588; font-weight: bold } 
.trac .m { color: #009999 } 
.trac .s { color: #bb8844 } 
.trac .na { color: #008080 } 
.trac .nb { color: #999999 } 
.trac .nc { color: #445588; font-weight: bold } 
.trac .no { color: #008080 } 
.trac .ni { color: #800080 } 
.trac .ne { color: #990000; font-weight: bold } 
.trac .nf { color: #990000; font-weight: bold } 
.trac .nn { color: #555555 } 
.trac .nt { color: #000080 } 
.trac .nv { color: #008080 } 
.trac .ow { font-weight: bold } 
.trac .w { color: #bbbbbb } 
.trac .mf { color: #009999 } 
.trac .mh { color: #009999 } 
.trac .mi { color: #009999 } 
.trac .mo { color: #009999 } 
.trac .sb { color: #bb8844 } 
.trac .sc { color: #bb8844 } 
.trac .sd { color: #bb8844 } 
.trac .s2 { color: #bb8844 } 
.trac .se { color: #bb8844 } 
.trac .sh { color: #bb8844 } 
.trac .si { color: #bb8844 } 
.trac .sx { color: #bb8844 } 
.trac .sr { color: #808000 } 
.trac .s1 { color: #bb8844 } 
.trac .ss { color: #bb8844 } 
.trac .bp { color: #999999 } 
.trac .vc { color: #008080 } 
.trac .vg { color: #008080 } 
.trac .vi { color: #008080 } 
.trac .il { color: #009999 } 

.tango .hll { background-color: #ffffcc }
.tango  { background: #f8f8f8; }
.tango .c { color: #8f5902; font-style: italic } 
.tango .err { color: #a40000; border: 1px solid #ef2929 } 
.tango .g { color: #000000 } /* Generic */
.tango .k { color: #204a87; font-weight: bold } 
.tango .l { color: #000000 } /* Literal */
.tango .n { color: #000000 } /* Name */
.tango .o { color: #ce5c00; font-weight: bold } 
.tango .x { color: #000000 } /* Other */
.tango .p { color: #000000; font-weight: bold } /* Punctuation */
.tango .cm { color: #8f5902; font-style: italic } 
.tango .cp { color: #8f5902; font-style: italic } 
.tango .c1 { color: #8f5902; font-style: italic } 
.tango .cs { color: #8f5902; font-style: italic } 
.tango .gd { color: #a40000 } 
.tango .ge { color: #000000; font-style: italic } 
.tango .gr { color: #ef2929 } 
.tango .gh { color: #000080; font-weight: bold } 
.tango .gi { color: #00A000 } 
.tango .go { color: #000000; font-style: italic } 
.tango .gp { color: #8f5902 } 
.tango .gs { color: #000000; font-weight: bold } 
.tango .gu { color: #800080; font-weight: bold } 
.tango .gt { color: #a40000; font-weight: bold } 
.tango .kc { color: #204a87; font-weight: bold } 
.tango .kd { color: #204a87; font-weight: bold } 
.tango .kn { color: #204a87; font-weight: bold } 
.tango .kp { color: #204a87; font-weight: bold } 
.tango .kr { color: #204a87; font-weight: bold } 
.tango .kt { color: #204a87; font-weight: bold } 
.tango .ld { color: #000000 } 
.tango .m { color: #0000cf; font-weight: bold } 
.tango .s { color: #4e9a06 } 
.tango .na { color: #c4a000 } 
.tango .nb { color: #204a87 } 
.tango .nc { color: #000000 } 
.tango .no { color: #000000 } 
.tango .nd { color: #5c35cc; font-weight: bold } 
.tango .ni { color: #ce5c00 } 
.tango .ne { color: #cc0000; font-weight: bold } 
.tango .nf { color: #000000 } 
.tango .nl { color: #f57900 } 
.tango .nn { color: #000000 } 
.tango .nx { color: #000000 } 
.tango .py { color: #000000 } 
.tango .nt { color: #204a87; font-weight: bold } 
.tango .nv { color: #000000 } 
.tango .ow { color: #204a87; font-weight: bold } 
.tango .w { color: #f8f8f8; text-decoration: underline } 
.tango .mf { color: #0000cf; font-weight: bold } 
.tango .mh { color: #0000cf; font-weight: bold } 
.tango .mi { color: #0000cf; font-weight: bold } 
.tango .mo { color: #0000cf; font-weight: bold } 
.tango .sb { color: #4e9a06 } 
.tango .sc { color: #4e9a06 } 
.tango .sd { color: #8f5902; font-style: italic } 
.tango .s2 { color: #4e9a06 } 
.tango .se { color: #4e9a06 } 
.tango .sh { color: #4e9a06 } 
.tango .si { color: #4e9a06 } 
.tango .sx { color: #4e9a06 } 
.tango .sr { color: #4e9a06 } 
.tango .s1 { color: #4e9a06 } 
.tango .ss { color: #4e9a06 } 
.tango .bp { color: #3465a4 } 
.tango .vc { color: #000000 } 
.tango .vg { color: #000000 } 
.tango .vi { color: #000000 } 
.tango .il { color: #0000cf; font-weight: bold } 

.fruity .hll { background-color: #333333 }
.fruity  { background: #111111; color: #ffffff }
.fruity .c { color: #008800; font-style: italic; background-color: #0f140f } 
.fruity .err { color: #ffffff } 
.fruity .g { color: #ffffff } /* Generic */
.fruity .k { color: #fb660a; font-weight: bold } 
.fruity .l { color: #ffffff } /* Literal */
.fruity .n { color: #ffffff } /* Name */
.fruity .o { color: #ffffff } 
.fruity .x { color: #ffffff } /* Other */
.fruity .p { color: #ffffff } /* Punctuation */
.fruity .cm { color: #008800; font-style: italic; background-color: #0f140f } 
.fruity .cp { color: #ff0007; font-weight: bold; font-style: italic; background-color: #0f140f } 
.fruity .c1 { color: #008800; font-style: italic; background-color: #0f140f } 
.fruity .cs { color: #008800; font-style: italic; background-color: #0f140f } 
.fruity .gd { color: #ffffff } 
.fruity .ge { color: #ffffff } 
.fruity .gr { color: #ffffff } 
.fruity .gh { color: #ffffff; font-weight: bold } 
.fruity .gi { color: #ffffff } 
.fruity .go { color: #444444; background-color: #222222 } 
.fruity .gp { color: #ffffff } 
.fruity .gs { color: #ffffff } 
.fruity .gu { color: #ffffff; font-weight: bold } 
.fruity .gt { color: #ffffff } 
.fruity .kc { color: #fb660a; font-weight: bold } 
.fruity .kd { color: #fb660a; font-weight: bold } 
.fruity .kn { color: #fb660a; font-weight: bold } 
.fruity .kp { color: #fb660a } 
.fruity .kr { color: #fb660a; font-weight: bold } 
.fruity .kt { color: #cdcaa9; font-weight: bold } 
.fruity .ld { color: #ffffff } 
.fruity .m { color: #0086f7; font-weight: bold } 
.fruity .s { color: #0086d2 } 
.fruity .na { color: #ff0086; font-weight: bold } 
.fruity .nb { color: #ffffff } 
.fruity .nc { color: #ffffff } 
.fruity .no { color: #0086d2 } 
.fruity .nd { color: #ffffff } 
.fruity .ni { color: #ffffff } 
.fruity .ne { color: #ffffff } 
.fruity .nf { color: #ff0086; font-weight: bold } 
.fruity .nl { color: #ffffff } 
.fruity .nn { color: #ffffff } 
.fruity .nx { color: #ffffff } 
.fruity .py { color: #ffffff } 
.fruity .nt { color: #fb660a; font-weight: bold } 
.fruity .nv { color: #fb660a } 
.fruity .ow { color: #ffffff } 
.fruity .w { color: #888888 } 
.fruity .mf { color: #0086f7; font-weight: bold } 
.fruity .mh { color: #0086f7; font-weight: bold } 
.fruity .mi { color: #0086f7; font-weight: bold } 
.fruity .mo { color: #0086f7; font-weight: bold } 
.fruity .sb { color: #0086d2 } 
.fruity .sc { color: #0086d2 } 
.fruity .sd { color: #0086d2 } 
.fruity .s2 { color: #0086d2 } 
.fruity .se { color: #0086d2 } 
.fruity .sh { color: #0086d2 } 
.fruity .si { color: #0086d2 } 
.fruity .sx { color: #0086d2 } 
.fruity .sr { color: #0086d2 } 
.fruity .s1 { color: #0086d2 } 
.fruity .ss { color: #0086d2 } 
.fruity .bp { color: #ffffff } 
.fruity .vc { color: #fb660a } 
.fruity .vg { color: #fb660a } 
.fruity .vi { color: #fb660a } 
.fruity .il { color: #0086f7; font-weight: bold } 


.autumn .hll { background-color: #ffffcc }
.autumn  { background: #ffffff; }
.autumn .c { color: #aaaaaa; font-style: italic } 
.autumn .err { color: #F00000; background-color: #F0A0A0 } 
.autumn .k { color: #0000aa } 
.autumn .cm { color: #aaaaaa; font-style: italic } 
.autumn .cp { color: #4c8317 } 
.autumn .c1 { color: #aaaaaa; font-style: italic } 
.autumn .cs { color: #0000aa; font-style: italic } 
.autumn .gd { color: #aa0000 } 
.autumn .ge { font-style: italic } 
.autumn .gr { color: #aa0000 } 
.autumn .gh { color: #000080; font-weight: bold } 
.autumn .gi { color: #00aa00 } 
.autumn .go { color: #888888 } 
.autumn .gp { color: #555555 } 
.autumn .gs { font-weight: bold } 
.autumn .gu { color: #800080; font-weight: bold } 
.autumn .gt { color: #aa0000 } 
.autumn .kc { color: #0000aa } 
.autumn .kd { color: #0000aa } 
.autumn .kn { color: #0000aa } 
.autumn .kp { color: #0000aa } 
.autumn .kr { color: #0000aa } 
.autumn .kt { color: #00aaaa } 
.autumn .m { color: #009999 } 
.autumn .s { color: #aa5500 } 
.autumn .na { color: #1e90ff } 
.autumn .nb { color: #00aaaa } 
.autumn .nc { color: #00aa00; text-decoration: underline } 
.autumn .no { color: #aa0000 } 
.autumn .nd { color: #888888 } 
.autumn .ni { color: #800000; font-weight: bold } 
.autumn .nf { color: #00aa00 } 
.autumn .nn { color: #00aaaa; text-decoration: underline } 
.autumn .nt { color: #1e90ff; font-weight: bold } 
.autumn .nv { color: #aa0000 } 
.autumn .ow { color: #0000aa } 
.autumn .w { color: #bbbbbb } 
.autumn .mf { color: #009999 } 
.autumn .mh { color: #009999 } 
.autumn .mi { color: #009999 } 
.autumn .mo { color: #009999 } 
.autumn .sb { color: #aa5500 } 
.autumn .sc { color: #aa5500 } 
.autumn .sd { color: #aa5500 } 
.autumn .s2 { color: #aa5500 } 
.autumn .se { color: #aa5500 } 
.autumn .sh { color: #aa5500 } 
.autumn .si { color: #aa5500 } 
.autumn .sx { color: #aa5500 } 
.autumn .sr { color: #009999 } 
.autumn .s1 { color: #aa5500 } 
.autumn .ss { color: #0000aa } 
.autumn .bp { color: #00aaaa } 
.autumn .vc { color: #aa0000 } 
.autumn .vg { color: #aa0000 } 
.autumn .vi { color: #aa0000 } 
.autumn .il { color: #009999 } 

.bw .hll { background-color: #ffffcc }
.bw  { background: #ffffff; }
.bw .c { font-style: italic } 
.bw .err { border: 1px solid #FF0000 } 
.bw .k { font-weight: bold } 
.bw .cm { font-style: italic } 
.bw .c1 { font-style: italic } 
.bw .cs { font-style: italic } 
.bw .ge { font-style: italic } 
.bw .gh { font-weight: bold } 
.bw .gp { font-weight: bold } 
.bw .gs { font-weight: bold } 
.bw .gu { font-weight: bold } 
.bw .kc { font-weight: bold } 
.bw .kd { font-weight: bold } 
.bw .kn { font-weight: bold } 
.bw .kr { font-weight: bold } 
.bw .s { font-style: italic } 
.bw .nc { font-weight: bold } 
.bw .ni { font-weight: bold } 
.bw .ne { font-weight: bold } 
.bw .nn { font-weight: bold } 
.bw .nt { font-weight: bold } 
.bw .ow { font-weight: bold } 
.bw .sb { font-style: italic } 
.bw .sc { font-style: italic } 
.bw .sd { font-style: italic } 
.bw .s2 { font-style: italic } 
.bw .se { font-weight: bold; font-style: italic } 
.bw .sh { font-style: italic } 
.bw .si { font-weight: bold; font-style: italic } 
.bw .sx { font-style: italic } 
.bw .sr { font-style: italic } 
.bw .s1 { font-style: italic } 
.bw .ss { font-style: italic } 

.emacs .hll { background-color: #ffffcc }
.emacs  { background: #f8f8f8; }
.emacs .c { color: #008800; font-style: italic } 
.emacs .err { border: 1px solid #FF0000 } 
.emacs .k { color: #AA22FF; font-weight: bold } 
.emacs .o { color: #666666 } 
.emacs .cm { color: #008800; font-style: italic } 
.emacs .cp { color: #008800 } 
.emacs .c1 { color: #008800; font-style: italic } 
.emacs .cs { color: #008800; font-weight: bold } 
.emacs .gd { color: #A00000 } 
.emacs .ge { font-style: italic } 
.emacs .gr { color: #FF0000 } 
.emacs .gh { color: #000080; font-weight: bold } 
.emacs .gi { color: #00A000 } 
.emacs .go { color: #808080 } 
.emacs .gp { color: #000080; font-weight: bold } 
.emacs .gs { font-weight: bold } 
.emacs .gu { color: #800080; font-weight: bold } 
.emacs .gt { color: #0040D0 } 
.emacs .kc { color: #AA22FF; font-weight: bold } 
.emacs .kd { color: #AA22FF; font-weight: bold } 
.emacs .kn { color: #AA22FF; font-weight: bold } 
.emacs .kp { color: #AA22FF } 
.emacs .kr { color: #AA22FF; font-weight: bold } 
.emacs .kt { color: #00BB00; font-weight: bold } 
.emacs .m { color: #666666 } 
.emacs .s { color: #BB4444 } 
.emacs .na { color: #BB4444 } 
.emacs .nb { color: #AA22FF } 
.emacs .nc { color: #0000FF } 
.emacs .no { color: #880000 } 
.emacs .nd { color: #AA22FF } 
.emacs .ni { color: #999999; font-weight: bold } 
.emacs .ne { color: #D2413A; font-weight: bold } 
.emacs .nf { color: #00A000 } 
.emacs .nl { color: #A0A000 } 
.emacs .nn { color: #0000FF; font-weight: bold } 
.emacs .nt { color: #008000; font-weight: bold } 
.emacs .nv { color: #B8860B } 
.emacs .ow { color: #AA22FF; font-weight: bold } 
.emacs .w { color: #bbbbbb } 
.emacs .mf { color: #666666 } 
.emacs .mh { color: #666666 } 
.emacs .mi { color: #666666 } 
.emacs .mo { color: #666666 } 
.emacs .sb { color: #BB4444 } 
.emacs .sc { color: #BB4444 } 
.emacs .sd { color: #BB4444; font-style: italic } 
.emacs .s2 { color: #BB4444 } 
.emacs .se { color: #BB6622; font-weight: bold } 
.emacs .sh { color: #BB4444 } 
.emacs .si { color: #BB6688; font-weight: bold } 
.emacs .sx { color: #008000 } 
.emacs .sr { color: #BB6688 } 
.emacs .s1 { color: #BB4444 } 
.emacs .ss { color: #B8860B } 
.emacs .bp { color: #AA22FF } 
.emacs .vc { color: #B8860B } 
.emacs .vg { color: #B8860B } 
.emacs .vi { color: #B8860B } 
.emacs .il { color: #666666 } 

.pastie .hll { background-color: #ffffcc }
.pastie  { background: #ffffff; }
.pastie .c { color: #888888 } 
.pastie .err { color: #a61717; background-color: #e3d2d2 } 
.pastie .k { color: #008800; font-weight: bold } 
.pastie .cm { color: #888888 } 
.pastie .cp { color: #cc0000; font-weight: bold } 
.pastie .c1 { color: #888888 } 
.pastie .cs { color: #cc0000; font-weight: bold; background-color: #fff0f0 } 
.pastie .gd { color: #000000; background-color: #ffdddd } 
.pastie .ge { font-style: italic } 
.pastie .gr { color: #aa0000 } 
.pastie .gh { color: #303030 } 
.pastie .gi { color: #000000; background-color: #ddffdd } 
.pastie .go { color: #888888 } 
.pastie .gp { color: #555555 } 
.pastie .gs { font-weight: bold } 
.pastie .gu { color: #606060 } 
.pastie .gt { color: #aa0000 } 
.pastie .kc { color: #008800; font-weight: bold } 
.pastie .kd { color: #008800; font-weight: bold } 
.pastie .kn { color: #008800; font-weight: bold } 
.pastie .kp { color: #008800 } 
.pastie .kr { color: #008800; font-weight: bold } 
.pastie .kt { color: #888888; font-weight: bold } 
.pastie .m { color: #0000DD; font-weight: bold } 
.pastie .s { color: #dd2200; background-color: #fff0f0 } 
.pastie .na { color: #336699 } 
.pastie .nb { color: #003388 } 
.pastie .nc { color: #bb0066; font-weight: bold } 
.pastie .no { color: #003366; font-weight: bold } 
.pastie .nd { color: #555555 } 
.pastie .ne { color: #bb0066; font-weight: bold } 
.pastie .nf { color: #0066bb; font-weight: bold } 
.pastie .nl { color: #336699; font-style: italic } 
.pastie .nn { color: #bb0066; font-weight: bold } 
.pastie .py { color: #336699; font-weight: bold } 
.pastie .nt { color: #bb0066; font-weight: bold } 
.pastie .nv { color: #336699 } 
.pastie .ow { color: #008800 } 
.pastie .w { color: #bbbbbb } 
.pastie .mf { color: #0000DD; font-weight: bold } 
.pastie .mh { color: #0000DD; font-weight: bold } 
.pastie .mi { color: #0000DD; font-weight: bold } 
.pastie .mo { color: #0000DD; font-weight: bold } 
.pastie .sb { color: #dd2200; background-color: #fff0f0 } 
.pastie .sc { color: #dd2200; background-color: #fff0f0 } 
.pastie .sd { color: #dd2200; background-color: #fff0f0 } 
.pastie .s2 { color: #dd2200; background-color: #fff0f0 } 
.pastie .se { color: #0044dd; background-color: #fff0f0 } 
.pastie .sh { color: #dd2200; background-color: #fff0f0 } 
.pastie .si { color: #3333bb; background-color: #fff0f0 } 
.pastie .sx { color: #22bb22; background-color: #f0fff0 } 
.pastie .sr { color: #008800; background-color: #fff0ff } 
.pastie .s1 { color: #dd2200; background-color: #fff0f0 } 
.pastie .ss { color: #aa6600; background-color: #fff0f0 } 
.pastie .bp { color: #003388 } 
.pastie .vc { color: #336699 } 
.pastie .vg { color: #dd7700 } 
.pastie .vi { color: #3333bb } 
.pastie .il { color: #0000DD; font-weight: bold } 


.friendly .hll { background-color: #ffffcc }
.friendly  { background: #f0f0f0; }
.friendly .c { color: #60a0b0; font-style: italic } 
.friendly .err { border: 1px solid #FF0000 } 
.friendly .k { color: #007020; font-weight: bold } 
.friendly .o { color: #666666 } 
.friendly .cm { color: #60a0b0; font-style: italic } 
.friendly .cp { color: #007020 } 
.friendly .c1 { color: #60a0b0; font-style: italic } 
.friendly .cs { color: #60a0b0; background-color: #fff0f0 } 
.friendly .gd { color: #A00000 } 
.friendly .ge { font-style: italic } 
.friendly .gr { color: #FF0000 } 
.friendly .gh { color: #000080; font-weight: bold } 
.friendly .gi { color: #00A000 } 
.friendly .go { color: #808080 } 
.friendly .gp { color: #c65d09; font-weight: bold } 
.friendly .gs { font-weight: bold } 
.friendly .gu { color: #800080; font-weight: bold } 
.friendly .gt { color: #0040D0 } 
.friendly .kc { color: #007020; font-weight: bold } 
.friendly .kd { color: #007020; font-weight: bold } 
.friendly .kn { color: #007020; font-weight: bold } 
.friendly .kp { color: #007020 } 
.friendly .kr { color: #007020; font-weight: bold } 
.friendly .kt { color: #902000 } 
.friendly .m { color: #40a070 } 
.friendly .s { color: #4070a0 } 
.friendly .na { color: #4070a0 } 
.friendly .nb { color: #007020 } 
.friendly .nc { color: #0e84b5; font-weight: bold } 
.friendly .no { color: #60add5 } 
.friendly .nd { color: #555555; font-weight: bold } 
.friendly .ni { color: #d55537; font-weight: bold } 
.friendly .ne { color: #007020 } 
.friendly .nf { color: #06287e } 
.friendly .nl { color: #002070; font-weight: bold } 
.friendly .nn { color: #0e84b5; font-weight: bold } 
.friendly .nt { color: #062873; font-weight: bold } 
.friendly .nv { color: #bb60d5 } 
.friendly .ow { color: #007020; font-weight: bold } 
.friendly .w { color: #bbbbbb } 
.friendly .mf { color: #40a070 } 
.friendly .mh { color: #40a070 } 
.friendly .mi { color: #40a070 } 
.friendly .mo { color: #40a070 } 
.friendly .sb { color: #4070a0 } 
.friendly .sc { color: #4070a0 } 
.friendly .sd { color: #4070a0; font-style: italic } 
.friendly .s2 { color: #4070a0 } 
.friendly .se { color: #4070a0; font-weight: bold } 
.friendly .sh { color: #4070a0 } 
.friendly .si { color: #70a0d0; font-style: italic } 
.friendly .sx { color: #c65d09 } 
.friendly .sr { color: #235388 } 
.friendly .s1 { color: #4070a0 } 
.friendly .ss { color: #517918 } 
.friendly .bp { color: #007020 } 
.friendly .vc { color: #bb60d5 } 
.friendly .vg { color: #bb60d5 } 
.friendly .vi { color: #bb60d5 } 
.friendly .il { color: #40a070 } 


.native .hll { background-color: #404040 }
.native  { background: #202020; color: #d0d0d0 }
.native .c { color: #999999; font-style: italic } 
.native .err { color: #a61717; background-color: #e3d2d2 } 
.native .g { color: #d0d0d0 } /* Generic */
.native .k { color: #6ab825; font-weight: bold } 
.native .l { color: #d0d0d0 } /* Literal */
.native .n { color: #d0d0d0 } /* Name */
.native .o { color: #d0d0d0 } 
.native .x { color: #d0d0d0 } /* Other */
.native .p { color: #d0d0d0 } /* Punctuation */
.native .cm { color: #999999; font-style: italic } 
.native .cp { color: #cd2828; font-weight: bold } 
.native .c1 { color: #999999; font-style: italic } 
.native .cs { color: #e50808; font-weight: bold; background-color: #520000 } 
.native .gd { color: #d22323 } 
.native .ge { color: #d0d0d0; font-style: italic } 
.native .gr { color: #d22323 } 
.native .gh { color: #ffffff; font-weight: bold } 
.native .gi { color: #589819 } 
.native .go { color: #cccccc } 
.native .gp { color: #aaaaaa } 
.native .gs { color: #d0d0d0; font-weight: bold } 
.native .gu { color: #ffffff; text-decoration: underline } 
.native .gt { color: #d22323 } 
.native .kc { color: #6ab825; font-weight: bold } 
.native .kd { color: #6ab825; font-weight: bold } 
.native .kn { color: #6ab825; font-weight: bold } 
.native .kp { color: #6ab825 } 
.native .kr { color: #6ab825; font-weight: bold } 
.native .kt { color: #6ab825; font-weight: bold } 
.native .ld { color: #d0d0d0 } 
.native .m { color: #3677a9 } 
.native .s { color: #ed9d13 } 
.native .na { color: #bbbbbb } 
.native .nb { color: #24909d } 
.native .nc { color: #447fcf; text-decoration: underline } 
.native .no { color: #40ffff } 
.native .nd { color: #ffa500 } 
.native .ni { color: #d0d0d0 } 
.native .ne { color: #bbbbbb } 
.native .nf { color: #447fcf } 
.native .nl { color: #d0d0d0 } 
.native .nn { color: #447fcf; text-decoration: underline } 
.native .nx { color: #d0d0d0 } 
.native .py { color: #d0d0d0 } 
.native .nt { color: #6ab825; font-weight: bold } 
.native .nv { color: #40ffff } 
.native .ow { color: #6ab825; font-weight: bold } 
.native .w { color: #666666 } 
.native .mf { color: #3677a9 } 
.native .mh { color: #3677a9 } 
.native .mi { color: #3677a9 } 
.native .mo { color: #3677a9 } 
.native .sb { color: #ed9d13 } 
.native .sc { color: #ed9d13 } 
.native .sd { color: #ed9d13 } 
.native .s2 { color: #ed9d13 } 
.native .se { color: #ed9d13 } 
.native .sh { color: #ed9d13 } 
.native .si { color: #ed9d13 } 
.native .sx { color: #ffa500 } 
.native .sr { color: #ed9d13 } 
.native .s1 { color: #ed9d13 } 
.native .ss { color: #ed9d13 } 
.native .bp { color: #24909d } 
.native .vc { color: #40ffff } 
.native .vg { color: #40ffff } 
.native .vi { color: #40ffff } 
.native .il { color: #3677a9 } 

